Project-Team:SPECFUN

Project-Team Specfun

Members

Overall Objectives

Scientific challenges, expected impact
Research axes

Research Program

Studying special functions by computer algebra
Trusted computer-algebra calculations
Machine-checked proofs of formalized mathematics

Highlights of the Year

New Software and Platforms

DDMF
DynaMoW
ECS
Math-Components
Ssreflect

New Results

Formally certified computation of definite integrals
Real closed fields
Combinatorial walks with small steps in the quarter plane
Multiple binomial sums
Algebraic diagonals and walks
A human proof of the Gessel conjecture
Enumeration of 3-dimensional lattice walks confined to the positive octant
Computation of the similarity class of the p-curvature
Efficient algorithms for mixed creative telescoping
Fast computation of the Nth term of an algebraic series over a finite prime field
Formal methods for cryptocurrencies
Computing solutions of linear Mahler equations
Formal solutions of singularly perturbed linear differential systems

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Inria | Raweb 2016 | Presentation of the Project-Team SPECFUN


	PDF	e-Pub

Previous |

Home | Next next

Section: New Results

Formal solutions of singularly perturbed linear differential systems

Suzy Maddah, together with Boulay Barkatou (Université de Limoges), has obtained algorithms for computing formal invariants of singularly-perturbed linear differential systems [20].

Previous |

Home | Next next